Issue555b.agda:10,6-9
Expected binding for parameter A : Set
when checking the definition of Exp
